Experiential evidence shows that pain is associated with common meanings. These include a meaning of threat or danger, which is experienced as immediately distressing or unpleasant; cognitive meanings, which are focused on the long-term consequences of having chronic pain; and existential meanings such as hopelessness, which are more about the person with chronic pain than the pain itself. This interdisciplinary book - the second in the three-volume Meanings of Pain series edited by Dr Simon van Rysewyk - aims to better (...) understand pain by describing experiences of pain and the meanings these experiences hold for the people living through them. The lived experiences of pain described here involve various types of chronic pain, including spinal pain, labour pain, rheumatic pain, diabetic peripheral neuropathic pain, fibromyalgia, complex regional pain syndrome, endometriosis-associated pain, and cancer-related pain. Two chapters provide narrative descriptions of pain, recounted and interpreted by people with pain. Language is important to understanding the meaning of pain since it is the primary tool human beings use to manipulate meaning. As discussed in the book, linguistic meaning may hold clues to understanding some pain-related experiences, including the stigmatisation of people with pain, the dynamics of patient-clinician communication, and other issues, such as relationships between pain, public policy and the law, and attempts to develop a taxonomy of pain that is meaningful for patients. Clinical implications are described in each chapter. This book is intended for people with pain, their family members or caregivers, clinicians, researchers, advocates, and policy makers. (shrink)

Part I: The Life of Cognitive Science:. William Bechtel, Adele Abrahamsen, and George Graham. Part II: Areas of Study in Cognitive Science:. 1. Analogy: Dedre Gentner. 2. Animal Cognition: Herbert L. Roitblat. 3. Attention: A.H.C. Van Der Heijden. 4. Brain Mapping: Jennifer Mundale. 5. Cognitive Anthropology: Charles W. Nuckolls. 6. Cognitive and Linguistic Development: Adele Abrahamsen. 7. Conceptual Change: Nancy J. Nersessian. 8. Conceptual Organization: Douglas Medin and Sandra R. Waxman. 9. Consciousness: Owen Flanagan. 10. Decision Making: J. Frank (...) Yates and Paul A. Estin. 11. Emotions: Paul E. Griffiths. 12. Imagery and Spatial Representation: Rita E. Anderson. 13. Language Evolution and Neuromechanisms: Terrence W. Deacon. 14. Language Processing: Kathryn Bock and Susan M. Garnsey. 15. Linguistics Theory: D. Terence Langendoen. 16. Machine Learning: Paul Thagard. 17. Memory: Henry L. Roediger III and Lyn M. Goff. 18. Perception: Cees Van Leeuwen. 19. Perception: Color: Austen Clark. 20. Problem Solving: Kevin Dunbar. 21. Reasoning: Lance J. Rips. 22. Social Cognition: Alan J. Lambert and Alison L. Chasteen. 23. Unconscious Intelligence: Rhianon Allen and Arthur S. Reber. 24. Understanding Texts: Art Graesser and Pam Tipping. 25. Word Meaning: Barbara C. Malt. Part III: Methodologies of Cognitive Science:. 26. Artificial Intelligence: Ron Sun. 27. Behavioral Experimentation: Alexander Pollatsek and Keith Rayner. 28. Cognitive Ethology: Marc Bekoff. 29. Deficits and Pathologies: Christopher D. Frith. 30. Ethnomethodology: Barry Saferstein. 31. Functional Analysis: Brian Macwhinney. 32. Neuroimaging: Randy L. Buckner and Steven E. Petersen. 33. Protocal Analysis: K. Anders Ericsson. 34. Single Neuron Electrophysiology: B. E. Stein, M.T. Wallace, and T.R. Stanford. 35. Structural Analysis: Robert Frank. Part IV: Stances in Cognitive Science:. 36. Case-based Reasoning: David B. Leake. 37. Cognitive Linguistics: Michael Tomasello. 38. Connectionism, Artificial Life, and Dynamical Systems: Jeffrey L. Elman. 39. Embodied, Situated, and Distributed Cognition: Andy Clark. 40. Mediated Action: James V. Wertsch. 41. Neurobiological Modeling: P. Read Montague and Peter Dayan. 42. Production Systems: Christian D. Schunn and David Klahr. Part V: Controversies in Cognitive Science:. 43. The Binding Problem: Valerie Gray Hardcastle. 44. Heuristics and Satisficing: Robert C. Richardson. 45. Innate Knowledge: Barbara Landau. 46. Innateness and Emergentism: Elizabeth Bates, Jeffrey L. Elman, Mark H. Johnson, Annette Karmiloff-Smith, Domenico Parisi, and Kim Plunkett. 47. Intentionality: Gilbert Harman. 48. Levels of Explanation and Cognition Architectures: Robert N. McCauley. 49. Modularity: Irene Appelbaum. 50. Representation and Computation: Robert S. Stufflebeam. 51. Representations: Dorrit Billman. 52. Rules: Terence Horgan and John Tienson. 53. Stage Theories Refuted: Donald G. Mackay. Part VI: Cognitive Science in the Real World:. 54. Education: John T. Bruer. 55. Ethics: Mark L. Johnson. 56. Everyday Life Environments: Alex Kirlik. 57. Institutions and Economics: Douglass C. North. 58. Legal Reasoning: Edwina L. Rissland. 59. Mental Retardation: Norman W. Bray, Kevin D. Reilly, Lisa F. Huffman, Lisa A. Grupe, Mark F. Villa, Kathryn L. Fletcher, and Vivek Anumolu. 60. Science: William F. Brewer and Punyashloke Mishra. Selective Biographies of Major Contributors to Cognitive Science: William Bechtel and Tadeusz Zawidzki. (shrink)

Following recent developments in the literature on axiomatic theories of truth, we investigate an alternative to the widespread habit of formalizing the syntax of the object-language into the object-language itself. We first argue for the proposed revision, elaborating philosophical evidences in favor of it. Secondly, we present a general framework for axiomatic theories of truth with theories of syntax. Different choices of the object theory O will be considered. Moreover, some strengthenings of these theories will be introduced: we will consider (...) extending the theories by the addition of coding axioms or by extending the schemas of O, if present, to the entire vocabulary of our theory of truth. Finally, we touch on the philosophical consequences that the theories described can have on the debate about the metaphysical status of the truth predicate and on the formalization of our informal metatheoretic reasoning. (shrink)

In this article we present a number of axiomatic theories of truth which are conservative extensions of arithmetic. We isolate a set of ten natural principles of truth and prove that every consistent permutation of them forms a theory conservative over Peano arithmetic.

This paper compares the roles classical and intuitionistic logic play in restricting the free use of truth principles in arithmetic. We consider fifteen of the most commonly used axiomatic principles of truth and classify every subset of them as either consistent or inconsistent over a weak purely intuitionistic theory of truth.

This paper explores the interface between principles of self-applicable truth and classical logic. To this end, the proof-theoretic strength of a number of axiomatic theories of truth over intuitionistic logic is determined. The theories considered correspond to the maximal consistent collections of fifteen truth-theoretic principles as isolated in Leigh and Rathjen.

ABSTRACT:We focus on the core institution of the capital market and the institutional work of professional service firms that provide ratings on corporate issuers, initially in a bid to maintain this institution, which suffered when those involved relied solely on information from the issuers themselves. Through our analysis we identify a new type of decoupling—complicit decoupling. Complicit decoupling evolves over time, beginning with the creation of a new practice, here corporate ratings as a form of policing work, which emerges to (...) help to maintain a core institution. This practice is then adopted, implemented and later becomes decoupled. Exposure does not undermine the legitimacy of the practice because external actors collude in the ‘window dressing’ and, because it has become normalized, only partial repairs are enacted. It is by nature field-level institutional work, benefiting the majority of the field and inherently involves a violation of promise keeping. We conclude with implications for managers and behavioral ethics researchers. (shrink)

Business Ethics: A European Review, EarlyView.

This article explores ways in which the Revision Theory of Truth can be expressed in the object language. In particular, we investigate the extent to which semantic deficiency, stable truth, and nearly stable truth can be so expressed, and we study different axiomatic systems for the Revision Theory of Truth.

Receiving a diagnosis of cancer can be devastating. Cancer continues to be one of the most feared diagnoses, and experiencing pain is a major fear for people diagnosed with cancer. Cancer pain is complex in aetiology and can be acute or chronic and can be caused by various compression, ischaemic, neuropathic or inflammatory processes. Many people with cancer will experience excruciating pain, which is often underreported and undertreated. The reasons for this are complex and include various factors including fears and (...) beliefs held by patients. Cognitive factors are important modulators of pain and the appraisals, meanings and beliefs that people have in relation to illness, cancer, and pain, have implications in regard to help-seeking behaviours and the coping strategies people adopt. Cancer pain can impact a range of psycho-social factors across its course. Cancer pain relates to higher rates of psychological distress, anxiety and low mood, and the perception of pain intensity is, in turn, influenced by psychological factors. Cancer pain can negatively affect psychological health, and psycho-social factors can affect the pain experience. It has been suggested that people with a life-limiting illness experience ‘total pain’, and this can encompass psychological, social, practical, spiritual domains. Research demonstrates that cancer is predominantly an illness affecting older people, yet there is a higher risk of under-treated pain in this age group and there is a paucity of research into the subjective experiences of older people managing their cancer pain. Many older people are required to self-manage cancer pain at home as outpatients, due to drivers to keep people out of inpatient care, such as the high healthcare costs of inpatient treatment, and patients wanting to manage their illness, and die, at home. Our own research into this area found that the self-management of cancer pain involves a sequential and temporal process, which centres on perceptions of control. We describe how the older people in our study experienced a perceived loss of control, followed by a sense of gaining control over pain through various experience of certain internal and external factors. The assessment and treatment of physical pain should be done in combination with assessment and treatment of psycho-social and spiritual pain, and interventions for cancer pain need to focus on increasing positive affect and reducing helplessness. No person should suffer with poorly controlled pain and we argue for the need for further research in this area to ensure adequate treatment for all.Clinical Implications: Assessment and treatment of physical pain in people with cancer needs to be conducted in combination with assessment and treatment of psycho-social issues and spiritual pain. Psychological and behavioural approaches have strong evidence supporting their efficacy for reducing cancer pain. Interventions should target helplessness and focus on increasing positive affect through positive psychological states including fighting spirit and resilience. Person-centred interventions that focus on helping people with the search for meaning may help those with cancer pain derive positive benefits. (shrink)

In light of recent emphasis on K-12 scientific modeling, it is important to understand how students’ models and beliefs about modeling shape shared classroom practices, and how, in turn, shared classroom practices influence individual students’ practices. We use co-operative action to consider the ways in which sedimented practices and artifacts become part of the substrate for students’ later actions ). Lemke :273–290, 2000) and Goodwin describe and provide illustrative examples of the accumulative nature of transformation of materials and practices. However, (...) these examples range in scale from minutes to hours, and there is less guidance about applying these perspectives to consider the transformation of practices longitudinally. In this study, we find that co-operative action is a powerful framework for analyzing classroom practices. We show that new practices rippled through the classroom along three dimensions: immediate transformation, longitudinal reuse and transformation, and transformation through interaction with other practices. These findings confirm that students’ models and practices become part of the substrate for later enactments of practice, and that these practices develop co-operatively and accumulatively within the classroom. Thus, co-operative action provides a unique lens on student progress that complements learning progressions by considering the social dimension of the development of practices. We propose that the extent to which students’ practices are able to sediment into the substrate of shared classroom practices is an important indicator of the health of the classroom as a scientific community. (shrink)

We introduce a path-based cyclic proof system for first-order $\mu $-calculus, the extension of first-order logic by second-order quantifiers for least and greatest fixed points of definable monotone functions. We prove soundness of the system and demonstrate it to be as expressive as the known trace-based cyclic systems of Dam and Sprenger. Furthermore, we establish cut-free completeness of our system for the fragment corresponding to the modal $\mu $-calculus.

This paper presents a novel proof of the conservativity of the intuitionistic theory of strictly positive fixpoints, $$\widehat{{\textrm{ID}}}{}_{1}^{{\textrm{i}}}{}$$ ID ^ 1 i, over Heyting arithmetic ($${\textrm{HA}}$$ HA ), originally proved in full generality by Arai (Ann Pure Appl Log 162:807–815, 2011. https://doi.org/10.1016/j.apal.2011.03.002). The proof embeds $$\widehat{{\textrm{ID}}}{}_{1}^{{\textrm{i}}}{}$$ ID ^ 1 i into the corresponding theory over Beeson’s logic of partial terms and then uses two consecutive interpretations, a realizability interpretation of this theory into the subtheory generated by almost negative fixpoints, and (...) a direct interpretation into Heyting arithmetic with partial terms using a hierarchy of satisfaction predicates for almost negative formulae. It concludes by applying van den Berg and van Slooten’s result (Indag Math 29:260–275, 2018. https://doi.org/10.1016/j.indag.2017.07.009) that Heyting arithmetic with partial terms plus the schema of self realizability for arithmetic formulae is conservative over $${\textrm{HA}}$$ HA. (shrink)

BackgroundWe conducted a survey to identify what types of health/medical research could be exempt from research ethics reviews in Australia.MethodsWe surveyed Australian health/medical researchers and Human Research Ethics Committee members. The survey asked whether respondents had previously changed or abandoned a project anticipating difficulties obtaining ethics approval, and presented eight research scenarios, asking whether these scenarios should or should not be exempt from ethics review, and to provide comments. Qualitative data were analysed thematically; quantitative data in R.ResultsWe received 514 responses. (...) Forty-three per cent of respondents to whom the question applied, reported changing projects in anticipation of obstacles from the ethics review process; 25% reported abandoning projects for this reason. Research scenarios asking professional staff to provide views in their area of expertise were most commonly exempted from ethics review ; scenarios involving surplus samples and N-of-1 studies were most commonly required to undergo ethics review. HREC members were 26% more likely than researchers to require ethics review. Need for independent oversight, and low risk, were most frequently cited in support of decisions to require or exempt from ethics review, respectively.ConclusionsConsiderable differences exist between researchers and HREC members, about when to exempt from review the research that ultimately serves the interests of patients and the public. It is widely accepted that evaluative research should be used to reduce clinical uncertainties—the same principle should apply to ethics reviews. (shrink)

Even though disquotationalism is not correct as it is usually formulated, a deep insight lies behind it. Specifically, it can be argued that, modulo implicit commitment to reflection principles, all there is to the notion of truth is given by a simple, natural collection of truth-biconditionals.

This paper provides a brief comparative overview of the development of the reproductive sciences especially in agriculture in the UK and the US. It begins with the establishment by F. H. A. Marshall in 1910 of the boundaries that framed the reproductive sciences as distinct from genetics and embryology. It then examines how and where the reproductive sciences were taken up in agricultural research settings, focusing on the differential development of US and UK institutions. The reproductive sciences were also pursued (...) in medical and biological settings, and I discuss how the intersections among all three allowed the circulation of both ideas and scientists’ careers. Across the twentieth century, scientific leadership in the reproductive sciences alternated between the UK and US, and these patterns are elucidated. I conclude with thoughts on future research that might emphasize the elaboration of industrialization processes in agriculture and new capacities to transform both reproductive processes and their products—life itself—as biopower comes to be more ambitiously understood as extending across all species. (shrink)

The basic concepts we use to frame metaphysical discussions – our tools of metaphysics – profoundly influence how those discussions proceed. Much recent work in anglophone metaphysics has centred on a set of hyperintensional such tools: grounding, dependence, fundamentality, and essence. This topical collection will provide new perspectives on these debates by bringing them into contact with Asian metaphysical traditions.

REMARKS ON EVOLUTION AND TIME-SCALES, Graham Cairns-Smith; HODGSON'S BLACK BOX, Thomas Clark; DO HODGSON'S PROPOSITIONS UNIQUELY CHARACTERIZE FREE WILL?, Ravi Gomatam; WHAT SHOULD WE RETAIN FROM A PLAIN PERSON'S CONCEPT OF FREE WILL?, Gilberto Gomes; ISOLATING DISPARATE CHALLENGES TO HODGSON'S ACCOUNT OF FREE WILL, Liberty Jaswal; FREE AGENCY AND LAWS OF NATURE, Robert Kane; SCIENCE VERSUS REALIZATION OF VALUE, NOT DETERMINISM VERSUS CHOICE, Nicholas Maxwell; COMMENTS ON HODGSON, J.J.C. Smart; THE VIEW FROM WITHIN, Sean Spence; COMMENTARY ON HODGSON, Henry (...) Stapp. (shrink)

We present sound and complete sequent calculi for the modal mu-calculus with converse modalities, aka two-way modal mu-calculus. Notably, we introduce a cyclic proof system wherein proofs can be represented as finite trees with back-edges, i.e., finite graphs. The sequent calculi incorporate ordinal annotations and structural rules for managing them. Soundness is proved with relative ease as is the case for the modal mu-calculus with explicit ordinals. The main ingredients in the proof of completeness are isolating a class of non-wellfounded (...) proofs with sequents of bounded size, called slim proofs, and a counter-model construction that shows slimness suffices to capture all validities. Slim proofs are further transformed into cyclic proofs by means of re-assigning ordinal annotations. (shrink)

I compare Margaret Archer's model of agency and the internal conversation with personal relations theory and some recent work by Marcia Cavell. In §1, I conclude that the forms of reflexivity and associated stances towards society that Archer defines can be seen as developments of the different forms of attachment, which personal relations theory can account for. This raises questions about the relationship between attachment-based notions of psychological health and reflexivity-based approaches to social transformation. I suggest a way in which (...) this might be investigated empirically. In §2, I note similarities and differences between Archer's work and personal relations theory. To illustrate the personal relations approach I describe a model first developed by Donald Davidson, and what Cavell calls ‘the dialectic of the first and third person views of the self’ to account for personal transformation between stances and the move towards mature dependency as described by Ronald Fairbairn. I suggest that Archer's and Fairbairn's models could be directly related if Archer's model is seen as equivalent to Fairbairn's notion of the central self under mature dependence. I argue that a critical realist account of both the psychological and social selves would require both models. (shrink)